A Multi - Level Approach to Program SynthesisW
نویسندگان
چکیده
We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and algorithm design at diierent levels of abstraction. Besides providing an overall view we summarize the individual research results achieved in the course of this development.
منابع مشابه
Modified FGP approach and MATLAB program for solving multi-level linear fractional programming problems
In this paper, we present modified fuzzy goal programming (FGP) approach and generalized MATLAB program for solving multi-level linear fractional programming problems (ML-LFPPs) based on with some major modifications in earlier FGP algorithms. In proposed modified FGP approach, solution preferences by the decision makers at each level are not considered and fuzzy goal for the decision vectors i...
متن کاملAnalysis of the Impact of Managed Pressure Drilling Technology on Current Casing Program Design Methods (TECHNICAL NOTE)
This paper analyzed the characteristics of managed pressure drilling (MPD) technology and impact of wellhead back pressure on the wellbore annulus pressure profile, and found that the application of this technology provides room for improvement to the current casing program design. Meanwhile, the equivalent density of drilling fluid in wellbore annulus needs to consider the impact of back press...
متن کاملA Multi-Level Capacity Approach to the Hub and Spoke Network
The existing works considering the flow-based discount factor in the hub and spoke problems, assume that increasing the amount of flow passing through each edge of network continuously decreases the unit flow transportation cost. Although a higher volume of flow allows for using wider links and consequently cheaper transportation, but the unit of flow enjoys more discounts, quite like replacing...
متن کاملMulti-choice stochastic bi-level programming problem in cooperative nature via fuzzy programming approach
In this paper, a Multi-Choice Stochastic Bi-Level Programming Problem (MCSBLPP) is considered where all the parameters of constraints are followed by normal distribution. The cost coefficients of the objective functions are multi-choice types. At first, all the probabilistic constraints are transformed into deterministic constraints using stochastic programming approach. Further, a general tran...
متن کاملAsthma Control Level Assessment by Moving from the Current Reactive Care Models into a Preventive Approach based on Fuzzy Clustering and Classification Algorithms
Background and Aim: Asthma is a common and chronic disease of respiratory tracts. The best way to treat Asthma is to control it. Experts of this field suggest the continues monitoring on Asthma symptoms and adjustment of self-care plan with offering the preventive treatment program to have desired control over Asthma. Presenting these plans by the physician is set based on the control level in ...
متن کامل